Object-oriented Specification Case Studies
نویسندگان
چکیده
منابع مشابه
Parallel Object-Oriented Specification Language
The Parallel Object-Oriented Specification Language (POOSL) is an expressive modelling language for hardware/software systems [10]. It was originally defined in [7] as an object-oriented extension of process algebra CCS [6], supporting (conditional) synchronous message passing between (hierarchically structured) asynchronous concurrent processes. Meanwhile, POOSL has been extended with real-tim...
متن کاملSpecification of Object - Oriented Design
Software architectures and designs "notations" are typically based on bubble-and-arc diagrams. Embellishing these diagrams may increase their information content but does not make a language. A formal language has syntax, semantics, and inference rules, so that reasoning and automatic manipulation are made possible. We describe LePUS, a formal language for describing and reasoning about object ...
متن کاملObject-oriented modelling and specification using SHE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisation of a working system is expanding rapidly. To manage complexity and to shorten design cycles, industry is forced to look at system-level languages towards specification and design. The (formal) system-level modellin...
متن کاملObject-oriented Specification of User Interfaces
This paper presents an object-oriented approach for the specification of graphical user interfaces. Specification starts with the analysis of the end user’s operations. The user interface is then designed on the basis of this analysis. Operation analysis is followed by structure and component specification which presents the dialogue structure of the application and the contents of each dialogu...
متن کاملObject-Oriented System Specification Using Defaults
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented speciication of information systems. We present how to utilize defaults in speciications of dynamic system behaviour. Thus overridable rules may be used in spec-iications which deal not only with state structures, but also with state transitions and sequences. Systems are viewed as societie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1994
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/37.6.544-a